🔗 Dependent Types - nmarshall · Scour

A perfectable programming language λFunctional Programming

news.ycombinator.com·1d·Hacker News

The Lean Programming Language and Theorem Prover ∀Lean4

leodemoura.github.io·3d·Hacker News

A Perfectable Programming Language ∀Lean4

alok.github.io·2d·Hacker News

Soppo: Golang, with the features it's missing 🦕Deno

soppolang.dev·3d·Hacker News

Deriving the Y Combinator (2008) λFunctional Programming

blog.jcoglan.com·29m·Hacker News

A typed functional language that compiles to JavaScript 📘TypeScript

peat-lang.fly.dev·16h·Hacker News

Show HN: Spectre: A systems design-by-contract language, self hosted compiler ☁️Serverless Rust

spectrelang.org·5h·Hacker News

The Quiet Colossus — On Ada, Its Design, and the Language That Built the Languages 🧩Low-code

iqiipi.com·1h·Lobsters

APL: Evaluator for a Subset of Scheme λFunctional Programming

dfns.dyalog.com·2d·Hacker News

0.16.0 Release Notes ⚡ The Zig Programming Language 🔄C to Rust Translation

ziglang.org·12h·Lobsters, Hacker News, r/Zig

Introducing dotLLM - Building an LLM Inference Engine in C# 🏗️AI Infrastructure

kokosa.dev·12h·Hacker News

EggerMarc/tools-rs: Serialize your functions with tools-rs! 🦀Rust Macros

github.com·8h·Hacker News

Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project. 🦀Rust Macros

gist.github.com·1d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Brumbelow/uninum: A unified symbolic-numeric expression runtime for Python where all elementary functions are created from a single operator λFunctional Programming

github.com·6h·Hacker News

Object Oriented Programming in Ada 🔄Finite Automata

entropicthoughts.com·1d·Lobsters, Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp λFunctional Programming

jointhefreeworld.org·4d·Lobsters, Hacker News

Circuit Transformations, Loop Fusion, and Inductive Proof ∀Lean4

natetyoung.github.io·1d·Hacker News

MLanguage/mlang: Compiler for the M language, used to compute the income tax of French taxpayers 🏭Code Generation

github.com·20h·Hacker News

Running the first program 🏭Code Generation

enigmaticcode.wordpress.com·1d·Lobsters

Loading more...